proof constant